You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 601 - 640 hits of 5382. Search took 0.04 seconds.

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

Search results for id :

Filename	Distribution	File size
idris-manual-1.3.3-3.fc34.noarch.rpm	Fedora 34	630 kB	Info
idris-manual-1.3.3-2.fc33.noarch.rpm	Fedora 33	630 kB	Info
idris-manual-1.3.2-3.fc32.noarch.rpm	Fedora 32	519 kB	Info
idris-manual-1.3.2-1.fc31.noarch.rpm	Fedora 31	516 kB	Info
idris-manual-1.3.1-1.fc30.noarch.rpm	Fedora 30	5245 kB	Info
idris-manual-1.3.0-5.fc29.noarch.rpm	Fedora 29	5242 kB	Info
idris-manual-1.3.0-4.fc28.noarch.rpm	Fedora 28	2025 kB	Info
idris-libs-1.3.1-1.fc30.noarch.rpm	Fedora 30	3924 kB	Info
idris-libs-1.3.0-5.fc29.noarch.rpm	Fedora 29	3911 kB	Info
idris-libs-1.3.0-4.fc28.noarch.rpm	Fedora 28	3913 kB	Info
idris-docs-1.3.4-6.fc38.noarch.rpm	Fedora 38	229 kB	Info
idris-docs-1.3.4-5.fc37.noarch.rpm	Fedora 37	182 kB
idris-docs-1.3.4-5.fc37.noarch.rpm	Fedora 37	229 kB	Info
idris-docs-1.3.4-3.fc36.noarch.rpm	Fedora 36	182 kB	Info
idris-docs-1.3.4-18.fc42.noarch.rpm	Rawhide	220 kB
idris-docs-1.3.4-18.fc42.noarch.rpm	Fedora Other	220 kB
idris-docs-1.3.4-17.fc41.noarch.rpm		220 kB	Info
idris-docs-1.3.4-14.fc40.noarch.rpm	Fedora 40	220 kB
idris-docs-1.3.4-12.fc39.noarch.rpm	Fedora 39	221 kB
idris-docs-1.3.4-12.fc39.noarch.rpm	Fedora 39	221 kB	Info
idris-docs-1.3.4-1.fc35.noarch.rpm	Fedora 35	182 kB	Info
idris-docs-1.3.3-6.20210626git2ef8238d0.fc35.noarch.rpm	Fedora 35	182 kB	Info
idris-docs-1.3.3-3.fc34.noarch.rpm	Fedora 34	174 kB	Info
idris-docs-1.3.3-2.fc33.noarch.rpm	Fedora 33	174 kB	Info
idris-docs-1.3.2-3.fc32.noarch.rpm	Fedora 32	171 kB	Info
idris-docs-1.3.2-1.fc31.noarch.rpm	Fedora 31	171 kB	Info
idris-docs-1.3.1-1.fc30.noarch.rpm	Fedora 30	195 kB	Info
idris-common-1.3.4-6.fc38.noarch.rpm	Fedora 38	4139 kB	Info
idris-common-1.3.4-5.fc37.noarch.rpm	Fedora 37	4106 kB
idris-common-1.3.4-5.fc37.noarch.rpm	Fedora 37	4143 kB	Info
idris-common-1.3.4-3.fc36.noarch.rpm	Fedora 36	4104 kB	Info
idris-common-1.3.4-18.fc42.noarch.rpm	Rawhide	4109 kB
idris-common-1.3.4-18.fc42.noarch.rpm	Fedora Other	4109 kB
idris-common-1.3.4-17.fc41.noarch.rpm		4109 kB	Info
idris-common-1.3.4-14.fc40.noarch.rpm	Fedora 40	4109 kB
idris-common-1.3.4-12.fc39.noarch.rpm	Fedora 39	4139 kB
idris-common-1.3.4-12.fc39.noarch.rpm	Fedora 39	4139 kB	Info
idris-common-1.3.4-1.fc35.noarch.rpm	Fedora 35	4098 kB	Info
idris-common-1.3.3-6.20210626git2ef8238d0.fc35.noarch.rpm	Fedora 35	4098 kB	Info
idris-common-1.3.3-3.fc34.noarch.rpm	Fedora 34	4099 kB	Info

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26